منابع مشابه
Elementary constructive theory of Henselian local rings
We give an elementary theory of Henselian local rings and construct the Henselization of a local ring. All our theorems have an algorithmic content.
متن کاملDerivations in semiprime rings and Banach algebras
Let $R$ be a 2-torsion free semiprime ring with extended centroid $C$, $U$ the Utumi quotient ring of $R$ and $m,n>0$ are fixed integers. We show that if $R$ admits derivation $d$ such that $b[[d(x), x]_n,[y,d(y)]_m]=0$ for all $x,yin R$ where $0neq bin R$, then there exists a central idempotent element $e$ of $U$ such that $eU$ is commutative ring and $d$ induce a zero derivation on $(1-e)U$. ...
متن کاملHenselian Local Rings: Around a Work in Progress
An introduction to the theme of local rings and Henselian local rings is given through numerous examples. We outline an elementary and effective construction of the Henselization of a local ring and an effective proof of about a classical result in Henselian local rings. This paper anounces a joint work of the three authors.
متن کاملSums of squares in excellent henselian local rings
This is a survey about the representation of positive semidefinite elements as sums of squares from a local viewpoint, in the sense of analytic geometry. Here, we present the most recent results in the more general frame of excellent henselian local rings with real closed residue field. 1
متن کاملDefinable Henselian Valuation Rings
We give model theoretic criteria for the existence of∃∀ and∀∃formulas in the ring language to define uniformly the valuation rings O of models (K,O) of an elementary theory Σ of henselian valued fields. As one of the applications we obtain the existence of an ∃∀-formula defining uniformly the valuation rings O of valued henselian fields (K,O) whose residue class field k is finite, pseudofinite,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Mathematica
سال: 1987
ISSN: 0039-3223,1730-6337
DOI: 10.4064/sm-87-3-281-293